Date: Tue, 26 Nov 1996 00:50:01 GMT
Server: Apache/1.1.1
Content-type: text/html
Content-length: 4486
Last-modified: Mon, 18 Mar 1996 17:42:12 GMT

<HTML>
<HEAD>
<TITLE> Laboratory for Algorithmics Research </TITLE>
</HEAD>

<BODY>
<!WA0><IMG SRC="http://web.cs.ualberta.ca/~theory/gif/header.gif"
ALT="[Laboratory for Algorithmics Research]">`
<HR>

<H2>
<!WA1><IMG ALIGN=MIDDLE SRC="http://www.cs.ualberta.ca/~theory/gif/people.gif"
ALT="##"> Faculty, Staff, and Graduate Students</H2>
<UL>
<!WA2><IMG ALT="*" SRC="http://www.cs.ualberta.ca/Bullets/9x9/blue.gif">
<!WA3><A HREF="http://web.cs.ualberta.ca/Academic/labs/pics/algorithmics.shtml">
Photographs, pronunciations, and names</A>
<BR>
<!WA4><IMG ALT="*" SRC="http://www.cs.ualberta.ca/Bullets/9x9/blue.gif">
<!WA5><A HREF="http://web.cs.ualberta.ca/Academic/labs/nopics/algorithmics.shtml">
Names only</A>
</UL>
<HR>

<H2>
<!WA6><IMG ALIGN=MIDDLE SRC="http://www.cs.ualberta.ca/Buttons/black_border/40x40/books.gif" ALT="##">
Research Activities</H2>
<UL>
<!WA7><IMG ALT="*" SRC="http://www.cs.ualberta.ca/Bullets/9x9/blue.gif">
<!WA8><A HREF="http://web.cs.ualberta.ca/~joe/Coloring/index.html">
<!WA9><IMG ALIGN=BOTTOM SRC="http://web.cs.ualberta.ca/~joe/Coloring/tinygrph.gif">
Graph Coloring</A>
<P>

<!WA10><IMG ALT="*" SRC="http://www.cs.ualberta.ca/Bullets/9x9/blue.gif">
<!WA11><A HREF="http://web.cs.ualberta.ca/~piotr/">
<!WA12><IMG ALIGN=BOTTOM SRC="http://www.cs.ualberta.ca/~theory/gif/mizar.gif">
The Mizar project </A>
<P>

<!WA13><IMG ALT="*" SRC="http://www.cs.ualberta.ca/Bullets/9x9/blue.gif">
<!WA14><A HREF="http://web.cs.ualberta.ca/~hoover/">
<!WA15><IMG ALIGN=BOTTOM SRC="http://www.cs.ualberta.ca/~hoover/formalmethods.gif">
Formal Methods</A>
<P>

<!WA16><IMG ALT="*" SRC="http://www.cs.ualberta.ca/Bullets/9x9/blue.gif">
<!WA17><A HREF="http://web.cs.ualberta.ca/~stewart/">
<!WA18><IMG ALIGN=BOTTOM SRC="http://web.cs.ualberta.ca/~theory/gif/lorna.gif">
Algorithms for classes of graphs</A>
<P>

<!WA19><IMG ALT="*" SRC="http://www.cs.ualberta.ca/Bullets/9x9/blue.gif">
<!WA20><A HREF="http://web.cs.ualberta.ca/~ehab/">
<!WA21><IMG ALIGN=BOTTOM SRC="http://web.cs.ualberta.ca/~theory/gif/net.gif">
Interconnection Networks</A>
<P>

<!WA22><IMG ALT="*" SRC="http://www.cs.ualberta.ca/Bullets/9x9/blue.gif">
<!WA23><A HREF="http://web.cs.ualberta.ca/~barry/">
<!WA24><IMG ALIGN=BOTTOM SRC="http://web.cs.ualberta.ca/~theory/gif/lsup.gif">
Mesh Generation</A>
<P>

<!WA25><IMG ALT="*" SRC="http://www.cs.ualberta.ca/Bullets/9x9/blue.gif">
<!WA26><A HREF="http://web.cs.ualberta.ca/~cabay/">
<!WA27><IMG ALIGN=BOTTOM SRC="http://web.cs.ualberta.ca/~theory/gif/stan.gif">
Algebraic and Numerical Algorithms</A>
<P>

<!WA28><IMG ALT="*" SRC="http://www.cs.ualberta.ca/Bullets/9x9/blue.gif">
<!WA29><A HREF="http://web.cs.ualberta.ca/~joe/Research/genetic.html">
<!WA30><IMG ALIGN=BOTTOM SRC="http://web.cs.ualberta.ca/~theory/gif/tinygenetic.gif">
Genetic Algorithms</A>
<P>

<!WA31><IMG ALT="*" SRC="http://www.cs.ualberta.ca/Bullets/9x9/blue.gif">
Please see also our home pages.
</UL>
<HR>

<H2>
<!WA32><IMG ALIGN=MIDDLE SRC="http://www.cs.ualberta.ca/Buttons/black_border/40x40/workstation.gif" ALT="##">
Research Equipment</H2>
<UL>
<!WA33><IMG ALT="*" SRC="http://www.cs.ualberta.ca/Bullets/9x9/blue.gif">
<!WA34><A HREF="http://web.cs.ualberta.ca/~theory/equip/lab.html">Laboratory</A>
<BR>
<!WA35><IMG ALT="*" SRC="http://www.cs.ualberta.ca/Bullets/9x9/blue.gif">
<!WA36><A HREF="http://web.cs.ualberta.ca/~theory/equip/office.html">Office</A>
</UL>
<HR>

<H2>
<!WA37><IMG ALIGN=MIDDLE SRC="http://www.cs.ualberta.ca/Buttons/black_border/40x40/cdrom.gif" ALT="##">
Software</H2>
<UL>
<!WA38><IMG ALT="*" SRC="http://www.cs.ualberta.ca/Bullets/9x9/blue.gif">
<!WA39><A HREF="http://web.cs.ualberta.ca/~theory/software/Maple.html">Maple V</A>
<BR>
<!WA40><IMG ALT="*" SRC="http://www.cs.ualberta.ca/Bullets/9x9/blue.gif">
<!WA41><A HREF="http://web.cs.ualberta.ca/~theory/software/RationalRose.html">Rational Rose</A>
<BR>
<!WA42><IMG ALT="*" SRC="http://www.cs.ualberta.ca/Bullets/9x9/blue.gif">
<!WA43><A HREF="http://web.cs.ualberta.ca/~theory/software/VisualWorks.html">VisualWorks</A>
</UL>
<HR>

<H2>
<!WA44><IMG ALIGN=MIDDLE SRC="http://www.cs.ualberta.ca/Buttons/black_border/40x40/ftp.gif" ALT="##">
FTP Access </H2>
The official ftp site is 
<!WA45><A HREF="ftp://ftp.cs.ualberta.ca/pub">ftp.cs.ualberta.ca.</A>
<HR>

<H2>
<!WA46><IMG ALIGN=MIDDLE SRC="http://www.cs.ualberta.ca/Buttons/black_border/40x40/help.gif" ALT="##">
Additional Information </H2>
For more information, contact 
<I>
<!WA47><A HREF="mailto:theory@cs.ualberta.ca">theory@cs.ualberta.ca</A>.
</I>
<HR>

<!WA48><A HREF="http://web.cs.ualberta.ca/UAlberta.html">
<!WA49><IMG ALIGN=MIDDLE SRC="http://web.cs.ualberta.ca/gif/tiny/UA.gif"></A>
<!WA50><A HREF="http://web.cs.ualberta.ca/index.html">
<!WA51><IMG ALIGN=MIDDLE SRC="http://web.cs.ualberta.ca/gif/tiny/CS.gif"></A>
<I>November 16, 1995</I>
<HR>
</BODY>
</HTML>
